bitkeeper revision 1.1764 (42c12471iroiktRDv2QDqEDoIQVDNg)

comments

diff --git a/tools/debugger/pdb/Xen_domain.ml b/tools/debugger/pdb/Xen_domain.ml
index d014466448606c37117f523c6bdba5020f4c6b94..aeb22307c45e9bad13e88c6207b16bde2f1068cd 100644 (file)
--- a/tools/debugger/pdb/Xen_domain.ml
+++ b/tools/debugger/pdb/Xen_domain.ml
@@ -1,3 +1,11 @@
+(** Xen_domain.ml
+ *
+ *  domain assist for debugging processes
+ *
+ *  @author copyright (c) 2005 alex ho
+ *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
+ *  @version 1
+ *)
 
 type context_t =
 {

diff --git a/tools/debugger/pdb/Xen_domain.mli b/tools/debugger/pdb/Xen_domain.mli
index f99df1fd66c2c53923bff9f6c6ae0983783a57cf..ae334dcef5815319b87d7064553cba5b3b14ee3b 100644 (file)
--- a/tools/debugger/pdb/Xen_domain.mli
+++ b/tools/debugger/pdb/Xen_domain.mli
@@ -1,3 +1,11 @@
+(** Xen_domain.ml
+ *
+ *  domain assist for debugging processes
+ *
+ *  @author copyright (c) 2005 alex ho
+ *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
+ *  @version 1
+ *)
 
 type context_t
 

diff --git a/tools/debugger/pdb/pdb_caml_evtchn.c b/tools/debugger/pdb/pdb_caml_evtchn.c
index 62707739cab0e5a31dc8a314665c1a03dc78be30..8a814c3845fce3422bd6df09f376107115db9ec1 100644 (file)
--- a/tools/debugger/pdb/pdb_caml_evtchn.c
+++ b/tools/debugger/pdb/pdb_caml_evtchn.c
@@ -1,3 +1,11 @@
+/*
+ * pdb_caml_evtchn.c
+ *
+ * http://www.cl.cam.ac.uk/netos/pdb
+ *
+ * PDB's OCaml interface library for event channels
+ */
+
 #include <xc.h>
 #include <stdio.h>
 #include <stdlib.h>

diff --git a/tools/debugger/pdb/pdb_caml_xcs.c b/tools/debugger/pdb/pdb_caml_xcs.c
index 61944420b26a2522b898901b9a26c3ada68f726a..84fba85abcdb6a1e034750122847b182c0ca7966 100644 (file)
--- a/tools/debugger/pdb/pdb_caml_xcs.c
+++ b/tools/debugger/pdb/pdb_caml_xcs.c
@@ -1,12 +1,15 @@
 /*
- *  xcs stuff
+ * xcs stuff
  *
- *  this is responsible for establishing the initial connection
- *  between a backend domain and the pdb server.
+ * http://www.cl.cam.ac.uk/netos/pdb
  *
- *  liberated from xu.c
+ * this is responsible for establishing the initial connection
+ * between a backend domain and the pdb server.
+ *
+ * liberated from xu.c
  *
  */
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <unistd.h>

diff --git a/tools/debugger/pdb/pdb_caml_xen.h b/tools/debugger/pdb/pdb_caml_xen.h
index b21bf938e648757971bb5f44b905046e2a19dd22..2d9a16070800583d98ce18daf56fdfd3a024139f 100644 (file)
--- a/tools/debugger/pdb/pdb_caml_xen.h
+++ b/tools/debugger/pdb/pdb_caml_xen.h
@@ -1,3 +1,11 @@
+/*
+ * pdb_caml_xen.h
+ *
+ * http://www.cl.cam.ac.uk/netos/pdb
+ *
+ * generic xen definitions
+ *
+ */
 
 #ifndef _PDB_CAML_XEN_DEFINED_
 #define _PDB_CAML_XEN_DEFINED_

diff --git a/tools/debugger/pdb/xcs.mli b/tools/debugger/pdb/xcs.mli
index 98ea606e5ee940413ee06180b9cdbfb2c6d39f07..2a76edfbc3037a22a83c9dcb4d94ed79f1709e87 100644 (file)
--- a/tools/debugger/pdb/xcs.mli
+++ b/tools/debugger/pdb/xcs.mli
@@ -1,3 +1,11 @@
+(** xcs.mli
+ *
+ *  xen control switch interface
+ *
+ *  @author copyright (c) 2005 alex ho
+ *  @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger
+ *  @version 1
+ *)
 
 
 val setup : unit -> Unix.file_descr